A Valuable Experience in Computational Logic
نویسندگان
چکیده
Il Milione: A Journey in the Computational Logic in Italy 65 SOMMARIO/ABSTRACT Illustriamo qui brevemente la nostra esperienza nel campo della verifica e delle trasformazioni dei programmi logici. Pur occupandoci ora di tematiche completamente diverse, verifica di proprietà di sicurezza da un lato e analisi di sistemi biologici dall'altro, continuiamo ad utilizzare proficuamente la nostra precedente esperienza. In this paper, we briefly describe our esperience in the field of verification and transformation of logic programming. Though now we are working in a completely different field, verification of security properties on one hand and biosys-tems analysis on the other, our previous experience continues to be a valuable guide.
منابع مشابه
The inner logic of love (the Phenomenology of the life experience of love)
One of the most important issues in social life, that have been busy human minds in different ways is "romantic relationships." The purpose of this study was explored the life experience of love and discover of its inner logic. For this purpose, with a phenomenological approach, 14 students (Isfahan University and Isfahan University of Technology) who had experienced "love" were interviewed in ...
متن کاملUnit commitment by a fast and new analytical non-iterative method using IPPD table and “λ-logic” algorithm
Many different methods have been presented to solve unit commitment (UC) problem in literature with different advantages and disadvantages. The need for multiple runs, huge computational burden and time, and poor convergence are some of the disadvantages, where are especially considerable in large scale systems. In this paper, a new analytical and non-iterative method is presented to solve UC p...
متن کاملKnowledge-Based Neurocomputing: A Fuzzy Logic Approach
Where you can find the knowledge based neurocomputing a fuzzy logic approach easily? Is it in the book store? On-line book store? are you sure? Keep in mind that you will find the book in this site. This book is very referred for you because it gives not only the experience but also lesson. The lessons are very valuable to serve for you, that's not about who are reading this knowledge based neu...
متن کاملA Fall Detection System based on the Type II Fuzzy Logic and Multi-Objective PSO Algorithm
The Elderly health is an important and noticeable issue; since these people are priceless resources of experience in the society. Elderly adults are more likely to be severely injured or to die following falls. Hence, fast detection of such incidents may even lead to saving the life of the injured person. Several techniques have been proposed lately for the fall detection of people, mostly cate...
متن کاملFuzzy Motion Control for Wheeled Mobile Robots in Real-Time
Due to various advantages of Wheeled Mobile Robots (WMRs), many researchers have focused to solve their challenges. The automatic motion control of such robots is an attractive problem and is one of the issues which should carefully be examined. In the current paper, the trajectory tracking problem of WMRs which are actuated by two independent electrical motors is deliberated. To this end, and ...
متن کامل